Towards higher topology
نویسندگان
چکیده
We categorify the adjunction between locales and topological spaces, this amounts to an (generalized) bounded ionads topoi. show that is idempotent. relate Scott adjunction, which was discussed from a more categorical point of view in [Liba]. hint $0$-dimensional inhabits categorified one.
منابع مشابه
Higher String Topology Operations
In [1] Chas and Sullivan have defined an intersection-type product on the homology of the free loop space LM of an oriented manifold M. In this paper we show how to extend this construction to a topological conformal field theory of degree d. In particular, we get operations on H∗LM which are parameterized by the homology of the moduli space of open-closed Riemann surfaces.
متن کاملTopology and higher dimensional representations
SU(3) gauge theory in the 2-index symmetric (sextet) and fundamental representations is considered in symmetric and periodic boxes. Using the overlap formulation in the quenched approximation it is shown that the topological charge obtained from the sextet index theorem always leads to an integer value and agrees with the charge obtained from the fundamental index theorem in the continuum. At l...
متن کاملHigher-order intersections in low-dimensional topology.
We show how to measure the failure of the Whitney move in dimension 4 by constructing higher-order intersection invariants of Whitney towers built from iterated Whitney disks on immersed surfaces in 4-manifolds. For Whitney towers on immersed disks in the 4-ball, we identify some of these new invariants with previously known link invariants such as Milnor, Sato-Levine, and Arf invariants. We al...
متن کاملDirected Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applicatio...
متن کاملHigher String Topology on General Spaces
In [2], Chas and Sullivan considered the free loop space LM = Maps(S,M) for a smooth orientable compact manifold M . They used geometric methods to show that H∗LM has, among other things, the structure of a Batalin-Vilkovisky algebra. More precisely, C∗LM has an action by the operad of chain complexes C∗D2, where D2 is the framed 2-dimensional little disk operad. Each element of D2(n) is an ord...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2022
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2021.106838